Circum-Arctic Map Compilation

A Knowledge Compilation Map

We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key dimensions: the succinctness of the target compilation language, and the class of queries and transformations that the language supports in polytime. We then provide a knowledge compilation map, which analyzes a large number of existing target compilation languages a...

Extending the Knowledge Compilation Map: Closure Principles

We extend the knowledge compilation map introduced by Darwiche and Marquis with new propositional fragments obtained by applying closure principles to several fragments studied so far. We investigate two closure principles: disjunction and implicit forgetting (i.e., existential quantification). Each introduced fragment is evaluated w.r.t. several criteria, including the complexity of basic quer...

Climate Change and Hazard Zonation in the Circum-Arctic Permafrost Regions

Circum-Arctic mantle structure and long-wavelength topography since the Jurassic

The circum-Arctic is one of themost tectonically complex regions of the world, shaped by a history of ocean basin opening and closure since the Early Jurassic. The region is characterized by contemporaneous large-scale Cenozoic exhumation extending from Alaska to the Atlantic, but its driving force is unknown. We show that the mantle flow associated with subducted slabs of the South Anuyi, Mong...

Representing CSPs with Set-Labeled Diagrams: A Compilation Map

Constraint Satisfaction Problems (CSPs) offer a powerful framework for representing a great variety of problems. Unfortunately, most of the operations associated with CSPs are NP-hard. As some of these operations must be addressed online, compilation structures for CSPs have been proposed, e.g. finitestate automata and Multivalued Decision Diagrams (MDDs). The aim of this paper is to draw a com...